class Test
feature
    foo()
    do
    end
    
    foo2(a : INTEGER)
    do
    end
    
   
end

class Test2
inherit INTEGER
end

class Test3
convert
    foo : {INTEGER}
feature
    foo () : INTEGER
    do
       Result:=5 
    end
    
    foo2 : Test
    local a: Test
    do
      Result:=a
    end
end


class Test4
feature {Test2}
    a : INTEGER
    b() 
    do
    end
end

class APP
feature
    init 
    local a: Test2 ; b : Test3 ;  c: Test ; d : Test4
    do
       c.foo(a)
       c.foo2(5)
       c.foo2(a)
       c.foo2(b);
       b.foo2().foo2(a)
       d.a:=3
       d.b
    end
end
